Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
351	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science
352	Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko, Robert Brayton, Roland Jiang Tiziano Villa Nina Yevtushenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:36:01 Computer science Finite-state machine Nondeterministic finite automaton Powerset construction Nested word Automata theory Theoretical computer science Models of computation
353	Lost in Translation: Forgetful Semantic Anchoring Daniel Balasubramanian Vanderbilt University Institute for Software Integrated Systems Nashville, TN Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2012-05-01 10:13:00 Automata theory Computer science Finite-state machine SIGNAL Dataflow Meta-Object Facility Synchronous programming language Formal language Models of computation Software engineering Computing
354	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:57:01 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory
355	PDF Document Add to Reading List Source URL: fortnow.com Language: English - Date: 2011-05-03 09:10:11 Theory of computation Computability theory Formal languages Recursion ACM SIGACT Symposium on Theory of Computing Finite-state machine Recursive language Primitive recursive function Applied mathematics Theoretical computer science Mathematics
356	Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:13:15 Models of computation Software engineering Data modeling Theoretical computer science Systems engineering Model-driven architecture Finite-state machine UML state machine UMLsec Unified Modeling Language Automata theory Digital electronics
357	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
358	Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages ∗ Kai Chen Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 13:28:14 Scientific modeling Software development Science ISO standards Formal methods Finite-state machine Abstract state machines Metamodeling Generic Modeling Environment Unified Modeling Language Software engineering Models of computation
359	Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘ Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-25 15:32:59 Computer science UML diagrams Automata theory Digital electronics Logic in computer science State diagram UML state machine Finite-state machine Stateflow Models of computation Theoretical computer science Applied mathematics
360	Exploiting Fully Observable and Deterministic Structures in Goal POMDPs Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-29 10:13:42 Stochastic control Partially observable Markov decision process Markov decision process Automated planning and scheduling Bayesian network FO S0 Finite-state machine Macro Statistics Dynamic programming Markov processes

UPDATE